sum of two binary numbers in python